1.2.2.6. alpha.core.FixedAddr (C) Check for assignment of a fixed address to a pointer.
Examples:
void test() { int *p; p = (int *) 0x10000; // warn }